Optimal. Leaf size=255 \[ \frac {7 A b-3 a B}{4 a^2 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {A b-a B}{2 a b x^{3/2} (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {5 \sqrt {b} (a+b x) (7 A b-3 a B) \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {x}}{\sqrt {a}}\right )}{4 a^{9/2} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {5 (a+b x) (7 A b-3 a B)}{4 a^4 \sqrt {x} \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {5 (a+b x) (7 A b-3 a B)}{12 a^3 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}} \]
________________________________________________________________________________________
Rubi [A] time = 0.13, antiderivative size = 255, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 5, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.161, Rules used = {770, 78, 51, 63, 205} \begin {gather*} \frac {5 (a+b x) (7 A b-3 a B)}{4 a^4 \sqrt {x} \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {5 (a+b x) (7 A b-3 a B)}{12 a^3 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {7 A b-3 a B}{4 a^2 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {A b-a B}{2 a b x^{3/2} (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {5 \sqrt {b} (a+b x) (7 A b-3 a B) \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {x}}{\sqrt {a}}\right )}{4 a^{9/2} \sqrt {a^2+2 a b x+b^2 x^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 51
Rule 63
Rule 78
Rule 205
Rule 770
Rubi steps
\begin {align*} \int \frac {A+B x}{x^{5/2} \left (a^2+2 a b x+b^2 x^2\right )^{3/2}} \, dx &=\frac {\left (b^2 \left (a b+b^2 x\right )\right ) \int \frac {A+B x}{x^{5/2} \left (a b+b^2 x\right )^3} \, dx}{\sqrt {a^2+2 a b x+b^2 x^2}}\\ &=\frac {A b-a B}{2 a b x^{3/2} (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {\left ((7 A b-3 a B) \left (a b+b^2 x\right )\right ) \int \frac {1}{x^{5/2} \left (a b+b^2 x\right )^2} \, dx}{4 a \sqrt {a^2+2 a b x+b^2 x^2}}\\ &=\frac {7 A b-3 a B}{4 a^2 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {A b-a B}{2 a b x^{3/2} (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {\left (5 (7 A b-3 a B) \left (a b+b^2 x\right )\right ) \int \frac {1}{x^{5/2} \left (a b+b^2 x\right )} \, dx}{8 a^2 b \sqrt {a^2+2 a b x+b^2 x^2}}\\ &=\frac {7 A b-3 a B}{4 a^2 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {A b-a B}{2 a b x^{3/2} (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {5 (7 A b-3 a B) (a+b x)}{12 a^3 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {\left (5 (7 A b-3 a B) \left (a b+b^2 x\right )\right ) \int \frac {1}{x^{3/2} \left (a b+b^2 x\right )} \, dx}{8 a^3 \sqrt {a^2+2 a b x+b^2 x^2}}\\ &=\frac {7 A b-3 a B}{4 a^2 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {A b-a B}{2 a b x^{3/2} (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {5 (7 A b-3 a B) (a+b x)}{12 a^3 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {5 (7 A b-3 a B) (a+b x)}{4 a^4 \sqrt {x} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {\left (5 b (7 A b-3 a B) \left (a b+b^2 x\right )\right ) \int \frac {1}{\sqrt {x} \left (a b+b^2 x\right )} \, dx}{8 a^4 \sqrt {a^2+2 a b x+b^2 x^2}}\\ &=\frac {7 A b-3 a B}{4 a^2 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {A b-a B}{2 a b x^{3/2} (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {5 (7 A b-3 a B) (a+b x)}{12 a^3 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {5 (7 A b-3 a B) (a+b x)}{4 a^4 \sqrt {x} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {\left (5 b (7 A b-3 a B) \left (a b+b^2 x\right )\right ) \operatorname {Subst}\left (\int \frac {1}{a b+b^2 x^2} \, dx,x,\sqrt {x}\right )}{4 a^4 \sqrt {a^2+2 a b x+b^2 x^2}}\\ &=\frac {7 A b-3 a B}{4 a^2 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {A b-a B}{2 a b x^{3/2} (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {5 (7 A b-3 a B) (a+b x)}{12 a^3 b x^{3/2} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {5 (7 A b-3 a B) (a+b x)}{4 a^4 \sqrt {x} \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {5 \sqrt {b} (7 A b-3 a B) (a+b x) \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {x}}{\sqrt {a}}\right )}{4 a^{9/2} \sqrt {a^2+2 a b x+b^2 x^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.03, size = 79, normalized size = 0.31 \begin {gather*} \frac {3 a^2 (A b-a B)+(a+b x)^2 (3 a B-7 A b) \, _2F_1\left (-\frac {3}{2},2;-\frac {1}{2};-\frac {b x}{a}\right )}{6 a^3 b x^{3/2} (a+b x) \sqrt {(a+b x)^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 27.61, size = 142, normalized size = 0.56 \begin {gather*} \frac {(a+b x) \left (\frac {-8 a^3 A-24 a^3 B x+56 a^2 A b x-75 a^2 b B x^2+175 a A b^2 x^2-45 a b^2 B x^3+105 A b^3 x^3}{12 a^4 x^{3/2} (a+b x)^2}-\frac {5 \left (3 a \sqrt {b} B-7 A b^{3/2}\right ) \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {x}}{\sqrt {a}}\right )}{4 a^{9/2}}\right )}{\sqrt {(a+b x)^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.45, size = 380, normalized size = 1.49 \begin {gather*} \left [-\frac {15 \, {\left ({\left (3 \, B a b^{2} - 7 \, A b^{3}\right )} x^{4} + 2 \, {\left (3 \, B a^{2} b - 7 \, A a b^{2}\right )} x^{3} + {\left (3 \, B a^{3} - 7 \, A a^{2} b\right )} x^{2}\right )} \sqrt {-\frac {b}{a}} \log \left (\frac {b x + 2 \, a \sqrt {x} \sqrt {-\frac {b}{a}} - a}{b x + a}\right ) + 2 \, {\left (8 \, A a^{3} + 15 \, {\left (3 \, B a b^{2} - 7 \, A b^{3}\right )} x^{3} + 25 \, {\left (3 \, B a^{2} b - 7 \, A a b^{2}\right )} x^{2} + 8 \, {\left (3 \, B a^{3} - 7 \, A a^{2} b\right )} x\right )} \sqrt {x}}{24 \, {\left (a^{4} b^{2} x^{4} + 2 \, a^{5} b x^{3} + a^{6} x^{2}\right )}}, \frac {15 \, {\left ({\left (3 \, B a b^{2} - 7 \, A b^{3}\right )} x^{4} + 2 \, {\left (3 \, B a^{2} b - 7 \, A a b^{2}\right )} x^{3} + {\left (3 \, B a^{3} - 7 \, A a^{2} b\right )} x^{2}\right )} \sqrt {\frac {b}{a}} \arctan \left (\frac {a \sqrt {\frac {b}{a}}}{b \sqrt {x}}\right ) - {\left (8 \, A a^{3} + 15 \, {\left (3 \, B a b^{2} - 7 \, A b^{3}\right )} x^{3} + 25 \, {\left (3 \, B a^{2} b - 7 \, A a b^{2}\right )} x^{2} + 8 \, {\left (3 \, B a^{3} - 7 \, A a^{2} b\right )} x\right )} \sqrt {x}}{12 \, {\left (a^{4} b^{2} x^{4} + 2 \, a^{5} b x^{3} + a^{6} x^{2}\right )}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.21, size = 132, normalized size = 0.52 \begin {gather*} -\frac {5 \, {\left (3 \, B a b - 7 \, A b^{2}\right )} \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )}{4 \, \sqrt {a b} a^{4} \mathrm {sgn}\left (b x + a\right )} - \frac {2 \, {\left (3 \, B a x - 9 \, A b x + A a\right )}}{3 \, a^{4} x^{\frac {3}{2}} \mathrm {sgn}\left (b x + a\right )} - \frac {7 \, B a b^{2} x^{\frac {3}{2}} - 11 \, A b^{3} x^{\frac {3}{2}} + 9 \, B a^{2} b \sqrt {x} - 13 \, A a b^{2} \sqrt {x}}{4 \, {\left (b x + a\right )}^{2} a^{4} \mathrm {sgn}\left (b x + a\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.07, size = 253, normalized size = 0.99 \begin {gather*} \frac {\left (105 A \,b^{4} x^{\frac {7}{2}} \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )-45 B a \,b^{3} x^{\frac {7}{2}} \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )+210 A a \,b^{3} x^{\frac {5}{2}} \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )-90 B \,a^{2} b^{2} x^{\frac {5}{2}} \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )+105 A \,a^{2} b^{2} x^{\frac {3}{2}} \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )-45 B \,a^{3} b \,x^{\frac {3}{2}} \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )+105 \sqrt {a b}\, A \,b^{3} x^{3}-45 \sqrt {a b}\, B a \,b^{2} x^{3}+175 \sqrt {a b}\, A a \,b^{2} x^{2}-75 \sqrt {a b}\, B \,a^{2} b \,x^{2}+56 \sqrt {a b}\, A \,a^{2} b x -24 \sqrt {a b}\, B \,a^{3} x -8 \sqrt {a b}\, A \,a^{3}\right ) \left (b x +a \right )}{12 \sqrt {a b}\, \left (\left (b x +a \right )^{2}\right )^{\frac {3}{2}} a^{4} x^{\frac {3}{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.66, size = 341, normalized size = 1.34 \begin {gather*} -\frac {420 \, {\left (B a^{3} b^{3} - 3 \, A a^{2} b^{4}\right )} x^{\frac {5}{2}} + 5 \, {\left ({\left (B a b^{5} - 7 \, A b^{6}\right )} x^{2} + 21 \, {\left (B a^{2} b^{4} - 3 \, A a b^{5}\right )} x\right )} x^{\frac {5}{2}} - 5 \, {\left (9 \, {\left (B a^{3} b^{3} - 7 \, A a^{2} b^{4}\right )} x^{2} - 119 \, {\left (B a^{4} b^{2} - 3 \, A a^{3} b^{3}\right )} x\right )} \sqrt {x} - \frac {16 \, {\left (5 \, {\left (B a^{4} b^{2} - 7 \, A a^{3} b^{3}\right )} x^{2} - 21 \, {\left (B a^{5} b - 3 \, A a^{4} b^{2}\right )} x\right )}}{\sqrt {x}} - \frac {48 \, {\left ({\left (B a^{5} b - 7 \, A a^{4} b^{2}\right )} x^{2} - {\left (B a^{6} - 3 \, A a^{5} b\right )} x\right )}}{x^{\frac {3}{2}}} + \frac {16 \, {\left (3 \, A a^{5} b x^{2} + A a^{6} x\right )}}{x^{\frac {5}{2}}}}{24 \, {\left (a^{6} b^{3} x^{3} + 3 \, a^{7} b^{2} x^{2} + 3 \, a^{8} b x + a^{9}\right )}} - \frac {5 \, {\left (3 \, B a b - 7 \, A b^{2}\right )} \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )}{4 \, \sqrt {a b} a^{4}} + \frac {5 \, {\left ({\left (B a b^{2} - 7 \, A b^{3}\right )} x^{\frac {3}{2}} + 6 \, {\left (3 \, B a^{2} b - 7 \, A a b^{2}\right )} \sqrt {x}\right )}}{24 \, a^{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {A+B\,x}{x^{5/2}\,{\left (a^2+2\,a\,b\,x+b^2\,x^2\right )}^{3/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________